node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,7) :- #0.248.
link(7,1) :- #0.827.
link(1,17) :- #0.685.
link(17,1) :- #0.837.
link(1,51) :- #0.596.
link(51,1) :- #0.023.
link(1,66) :- #0.965.
link(66,1) :- #0.625.
link(1,76) :- #0.299.
link(76,1) :- #0.975.
link(1,81) :- #0.224.
link(81,1) :- #0.59.
link(1,84) :- #0.087.
link(84,1) :- #0.626.
link(1,117) :- #0.452.
link(117,1) :- #0.952.
link(1,126) :- #0.176.
link(126,1) :- #0.518.
link(1,131) :- #0.598.
link(131,1) :- #0.932.
link(1,135) :- #0.395.
link(135,1) :- #0.656.
link(1,137) :- #0.578.
link(137,1) :- #0.167.
link(1,139) :- #0.127.
link(139,1) :- #0.066.
link(1,140) :- #0.523.
link(140,1) :- #0.774.
link(2,8) :- #0.829.
link(8,2) :- #0.032.
link(2,29) :- #0.54.
link(29,2) :- #0.691.
link(2,32) :- #0.029.
link(32,2) :- #0.779.
link(2,46) :- #0.736.
link(46,2) :- #0.203.
link(2,55) :- #0.951.
link(55,2) :- #0.667.
link(2,70) :- #0.525.
link(70,2) :- #0.239.
link(2,89) :- #0.881.
link(89,2) :- #0.353.
link(2,122) :- #0.716.
link(122,2) :- #0.996.
link(2,133) :- #0.151.
link(133,2) :- #0.548.
link(3,7) :- #0.644.
link(7,3) :- #0.173.
link(3,10) :- #0.15.
link(10,3) :- #0.876.
link(3,19) :- #0.852.
link(19,3) :- #0.058.
link(3,20) :- #0.125.
link(20,3) :- #0.372.
link(3,30) :- #0.72.
link(30,3) :- #0.325.
link(3,47) :- #0.052.
link(47,3) :- #0.494.
link(3,55) :- #0.863.
link(55,3) :- #0.721.
link(3,56) :- #0.495.
link(56,3) :- #0.447.
link(3,65) :- #0.409.
link(65,3) :- #0.362.
link(3,91) :- #0.882.
link(91,3) :- #0.613.
link(3,109) :- #0.88.
link(109,3) :- #0.554.
link(3,114) :- #0.908.
link(114,3) :- #0.855.
link(3,129) :- #0.96.
link(129,3) :- #0.569.
link(3,134) :- #0.916.
link(134,3) :- #0.338.
link(3,143) :- #0.946.
link(143,3) :- #0.603.
link(4,31) :- #0.948.
link(31,4) :- #0.908.
link(4,47) :- #0.949.
link(47,4) :- #0.843.
link(4,50) :- #0.266.
link(50,4) :- #0.175.
link(4,57) :- #0.643.
link(57,4) :- #0.708.
link(4,60) :- #0.095.
link(60,4) :- #0.708.
link(4,68) :- #0.487.
link(68,4) :- #0.602.
link(4,81) :- #0.273.
link(81,4) :- #0.586.
link(4,95) :- #0.166.
link(95,4) :- #0.904.
link(4,108) :- #0.821.
link(108,4) :- #0.26.
link(4,116) :- #0.733.
link(116,4) :- #0.235.
link(4,133) :- #0.707.
link(133,4) :- #0.86.
link(4,136) :- #0.458.
link(136,4) :- #0.698.
link(4,139) :- #0.589.
link(139,4) :- #0.932.
link(4,144) :- #0.998.
link(144,4) :- #0.739.
link(5,12) :- #0.07.
link(12,5) :- #0.887.
link(5,16) :- #0.958.
link(16,5) :- #0.424.
link(5,32) :- #0.182.
link(32,5) :- #0.219.
link(5,33) :- #0.413.
link(33,5) :- #0.147.
link(5,42) :- #0.758.
link(42,5) :- #0.867.
link(5,43) :- #0.078.
link(43,5) :- #0.754.
link(5,50) :- #0.326.
link(50,5) :- #0.725.
link(5,68) :- #0.873.
link(68,5) :- #0.438.
link(5,72) :- #0.715.
link(72,5) :- #0.667.
link(5,99) :- #0.805.
link(99,5) :- #0.878.
link(5,121) :- #0.979.
link(121,5) :- #0.965.
link(5,129) :- #0.963.
link(129,5) :- #0.664.
link(5,137) :- #0.468.
link(137,5) :- #0.545.
link(5,141) :- #0.705.
link(141,5) :- #0.828.
link(6,25) :- #0.061.
link(25,6) :- #0.121.
link(6,28) :- #0.649.
link(28,6) :- #0.134.
link(6,36) :- #0.119.
link(36,6) :- #0.214.
link(6,40) :- #0.174.
link(40,6) :- #0.925.
link(6,42) :- #0.603.
link(42,6) :- #0.147.
link(6,60) :- #0.797.
link(60,6) :- #0.635.
link(6,70) :- #0.95.
link(70,6) :- #0.767.
link(6,77) :- #0.
link(77,6) :- #0.334.
link(6,111) :- #0.489.
link(111,6) :- #0.698.
link(6,125) :- #0.998.
link(125,6) :- #0.844.
link(7,9) :- #0.781.
link(9,7) :- #0.82.
link(7,11) :- #0.162.
link(11,7) :- #0.275.
link(7,12) :- #0.012.
link(12,7) :- #0.177.
link(7,22) :- #0.743.
link(22,7) :- #0.249.
link(7,26) :- #0.12.
link(26,7) :- #0.336.
link(7,34) :- #0.326.
link(34,7) :- #0.544.
link(7,35) :- #0.456.
link(35,7) :- #0.854.
link(7,40) :- #0.739.
link(40,7) :- #0.166.
link(7,46) :- #0.461.
link(46,7) :- #0.989.
link(7,60) :- #0.691.
link(60,7) :- #0.571.
link(7,65) :- #0.774.
link(65,7) :- #0.398.
link(7,68) :- #0.031.
link(68,7) :- #0.666.
link(7,76) :- #0.755.
link(76,7) :- #0.584.
link(7,80) :- #0.657.
link(80,7) :- #0.449.
link(7,94) :- #0.244.
link(94,7) :- #0.339.
link(7,109) :- #0.646.
link(109,7) :- #0.537.
link(7,111) :- #0.243.
link(111,7) :- #0.029.
link(7,131) :- #0.316.
link(131,7) :- #0.994.
link(7,137) :- #0.648.
link(137,7) :- #0.987.
link(8,52) :- #0.677.
link(52,8) :- #0.702.
link(8,55) :- #0.317.
link(55,8) :- #0.573.
link(8,63) :- #0.878.
link(63,8) :- #0.15.
link(8,81) :- #0.156.
link(81,8) :- #0.039.
link(8,87) :- #0.072.
link(87,8) :- #0.905.
link(8,88) :- #0.031.
link(88,8) :- #0.535.
link(8,98) :- #0.
link(98,8) :- #0.772.
link(8,138) :- #0.555.
link(138,8) :- #0.674.
link(8,139) :- #0.918.
link(139,8) :- #0.818.
link(8,141) :- #0.205.
link(141,8) :- #0.568.
link(8,143) :- #0.419.
link(143,8) :- #0.098.
link(9,18) :- #0.912.
link(18,9) :- #0.228.
link(9,24) :- #0.666.
link(24,9) :- #0.172.
link(9,30) :- #0.794.
link(30,9) :- #0.563.
link(9,34) :- #0.418.
link(34,9) :- #0.041.
link(9,38) :- #0.07.
link(38,9) :- #0.642.
link(9,66) :- #0.586.
link(66,9) :- #0.931.
link(9,67) :- #0.374.
link(67,9) :- #0.67.
link(9,73) :- #0.445.
link(73,9) :- #0.746.
link(9,79) :- #0.571.
link(79,9) :- #0.76.
link(9,81) :- #0.694.
link(81,9) :- #0.044.
link(9,102) :- #0.099.
link(102,9) :- #0.532.
link(9,107) :- #0.634.
link(107,9) :- #0.747.
link(9,116) :- #0.781.
link(116,9) :- #0.193.
link(9,120) :- #0.569.
link(120,9) :- #0.775.
link(9,133) :- #0.486.
link(133,9) :- #0.798.
link(9,144) :- #0.044.
link(144,9) :- #0.44.
link(9,145) :- #0.979.
link(145,9) :- #0.924.
link(10,13) :- #0.734.
link(13,10) :- #0.176.
link(10,41) :- #0.732.
link(41,10) :- #0.122.
link(10,50) :- #0.233.
link(50,10) :- #0.534.
link(10,52) :- #0.14.
link(52,10) :- #0.034.
link(10,61) :- #0.751.
link(61,10) :- #0.85.
link(10,64) :- #0.017.
link(64,10) :- #0.403.
link(10,69) :- #0.126.
link(69,10) :- #0.597.
link(10,74) :- #0.99.
link(74,10) :- #0.934.
link(10,80) :- #0.776.
link(80,10) :- #0.72.
link(10,111) :- #0.47.
link(111,10) :- #0.728.
link(10,115) :- #0.234.
link(115,10) :- #0.799.
link(10,128) :- #0.66.
link(128,10) :- #0.277.
link(10,142) :- #0.079.
link(142,10) :- #0.182.
link(11,13) :- #0.009.
link(13,11) :- #0.593.
link(11,14) :- #0.997.
link(14,11) :- #0.502.
link(11,67) :- #0.924.
link(67,11) :- #0.276.
link(11,94) :- #0.975.
link(94,11) :- #0.678.
link(11,97) :- #0.291.
link(97,11) :- #0.233.
link(11,109) :- #0.367.
link(109,11) :- #0.37.
link(11,124) :- #0.584.
link(124,11) :- #0.507.
link(12,19) :- #0.646.
link(19,12) :- #0.414.
link(12,23) :- #0.383.
link(23,12) :- #0.573.
link(12,24) :- #0.807.
link(24,12) :- #0.289.
link(12,30) :- #0.026.
link(30,12) :- #0.394.
link(12,51) :- #0.606.
link(51,12) :- #0.676.
link(12,61) :- #0.578.
link(61,12) :- #0.148.
link(12,66) :- #0.553.
link(66,12) :- #0.489.
link(12,84) :- #0.37.
link(84,12) :- #0.504.
link(12,87) :- #0.94.
link(87,12) :- #0.98.
link(12,93) :- #0.985.
link(93,12) :- #0.553.
link(12,115) :- #0.322.
link(115,12) :- #0.911.
link(12,119) :- #0.893.
link(119,12) :- #0.418.
link(12,130) :- #0.957.
link(130,12) :- #0.035.
link(12,141) :- #0.124.
link(141,12) :- #0.402.
link(13,19) :- #0.659.
link(19,13) :- #0.043.
link(13,21) :- #0.629.
link(21,13) :- #0.482.
link(13,27) :- #0.654.
link(27,13) :- #0.366.
link(13,32) :- #0.806.
link(32,13) :- #0.55.
link(13,42) :- #0.752.
link(42,13) :- #0.176.
link(13,48) :- #0.128.
link(48,13) :- #0.928.
link(13,70) :- #0.204.
link(70,13) :- #0.279.
link(13,79) :- #0.973.
link(79,13) :- #0.31.
link(13,87) :- #0.873.
link(87,13) :- #0.235.
link(13,111) :- #0.361.
link(111,13) :- #0.929.
link(13,134) :- #0.694.
link(134,13) :- #0.706.
link(14,16) :- #0.03.
link(16,14) :- #0.726.
link(14,25) :- #0.558.
link(25,14) :- #0.168.
link(14,27) :- #0.69.
link(27,14) :- #0.96.
link(14,33) :- #0.537.
link(33,14) :- #0.453.
link(14,41) :- #0.421.
link(41,14) :- #0.518.
link(14,42) :- #0.259.
link(42,14) :- #0.135.
link(14,61) :- #0.605.
link(61,14) :- #0.401.
link(14,75) :- #0.284.
link(75,14) :- #0.224.
link(14,87) :- #0.863.
link(87,14) :- #0.191.
link(14,91) :- #0.481.
link(91,14) :- #0.603.
link(14,93) :- #0.689.
link(93,14) :- #0.743.
link(14,94) :- #0.035.
link(94,14) :- #0.875.
link(14,106) :- #0.7.
link(106,14) :- #0.944.
link(14,119) :- #0.358.
link(119,14) :- #0.809.
link(14,144) :- #0.876.
link(144,14) :- #0.872.
link(15,38) :- #0.321.
link(38,15) :- #0.271.
link(15,43) :- #0.286.
link(43,15) :- #0.411.
link(15,76) :- #0.213.
link(76,15) :- #0.958.
link(15,102) :- #0.615.
link(102,15) :- #0.869.
link(15,104) :- #0.085.
link(104,15) :- #0.214.
link(15,114) :- #0.175.
link(114,15) :- #0.013.
link(15,119) :- #0.874.
link(119,15) :- #0.955.
link(15,138) :- #0.994.
link(138,15) :- #0.479.
link(16,18) :- #0.359.
link(18,16) :- #0.97.
link(16,22) :- #0.192.
link(22,16) :- #0.646.
link(16,39) :- #0.454.
link(39,16) :- #0.421.
link(16,44) :- #0.228.
link(44,16) :- #0.889.
link(16,56) :- #0.348.
link(56,16) :- #0.005.
link(16,58) :- #0.078.
link(58,16) :- #0.716.
link(16,63) :- #0.826.
link(63,16) :- #0.252.
link(16,71) :- #0.165.
link(71,16) :- #0.767.
link(16,88) :- #0.873.
link(88,16) :- #0.706.
link(16,93) :- #0.558.
link(93,16) :- #0.08.
link(16,106) :- #0.282.
link(106,16) :- #0.991.
link(17,22) :- #0.62.
link(22,17) :- #0.542.
link(17,27) :- #0.554.
link(27,17) :- #0.997.
link(17,62) :- #0.098.
link(62,17) :- #0.276.
link(17,67) :- #0.695.
link(67,17) :- #0.849.
link(17,104) :- #0.443.
link(104,17) :- #0.778.
link(17,106) :- #0.707.
link(106,17) :- #0.981.
link(17,125) :- #0.583.
link(125,17) :- #0.533.
link(17,144) :- #0.058.
link(144,17) :- #0.285.
link(18,37) :- #0.155.
link(37,18) :- #0.105.
link(18,44) :- #0.625.
link(44,18) :- #0.953.
link(18,53) :- #0.371.
link(53,18) :- #0.458.
link(18,71) :- #0.45.
link(71,18) :- #0.696.
link(18,82) :- #0.913.
link(82,18) :- #0.584.
link(18,92) :- #0.833.
link(92,18) :- #0.385.
link(18,94) :- #0.979.
link(94,18) :- #0.941.
link(18,110) :- #0.324.
link(110,18) :- #0.879.
link(18,114) :- #0.309.
link(114,18) :- #0.569.
link(18,119) :- #0.928.
link(119,18) :- #0.788.
link(18,121) :- #0.671.
link(121,18) :- #0.816.
link(18,125) :- #0.495.
link(125,18) :- #0.659.
link(18,129) :- #0.234.
link(129,18) :- #0.103.
link(18,137) :- #0.832.
link(137,18) :- #0.671.
link(19,23) :- #0.829.
link(23,19) :- #0.998.
link(19,48) :- #0.39.
link(48,19) :- #0.236.
link(19,59) :- #0.62.
link(59,19) :- #0.626.
link(19,78) :- #0.639.
link(78,19) :- #0.157.
link(19,81) :- #0.851.
link(81,19) :- #0.393.
link(19,86) :- #0.888.
link(86,19) :- #0.595.
link(19,98) :- #0.378.
link(98,19) :- #0.315.
link(19,118) :- #0.728.
link(118,19) :- #0.218.
link(19,140) :- #0.687.
link(140,19) :- #0.619.
link(20,22) :- #0.583.
link(22,20) :- #0.551.
link(20,30) :- #0.259.
link(30,20) :- #0.689.
link(20,31) :- #0.524.
link(31,20) :- #0.902.
link(20,32) :- #0.845.
link(32,20) :- #0.686.
link(20,37) :- #0.411.
link(37,20) :- #0.853.
link(20,45) :- #0.706.
link(45,20) :- #0.201.
link(20,50) :- #0.078.
link(50,20) :- #0.356.
link(20,56) :- #0.86.
link(56,20) :- #0.151.
link(20,64) :- #0.345.
link(64,20) :- #0.069.
link(20,67) :- #0.943.
link(67,20) :- #0.413.
link(20,69) :- #0.63.
link(69,20) :- #0.954.
link(20,74) :- #0.76.
link(74,20) :- #0.878.
link(20,75) :- #0.325.
link(75,20) :- #0.869.
link(20,76) :- #0.725.
link(76,20) :- #0.024.
link(20,108) :- #0.466.
link(108,20) :- #0.321.
link(20,124) :- #0.025.
link(124,20) :- #0.469.
link(20,130) :- #0.66.
link(130,20) :- #0.7.
link(20,137) :- #0.185.
link(137,20) :- #0.438.
link(20,143) :- #0.665.
link(143,20) :- #0.594.
link(20,144) :- #0.889.
link(144,20) :- #0.657.
link(20,145) :- #0.888.
link(145,20) :- #0.809.
link(21,32) :- #0.141.
link(32,21) :- #0.787.
link(21,45) :- #0.777.
link(45,21) :- #0.848.
link(21,59) :- #0.634.
link(59,21) :- #0.386.
link(21,60) :- #0.499.
link(60,21) :- #0.989.
link(21,64) :- #0.125.
link(64,21) :- #0.338.
link(21,65) :- #0.093.
link(65,21) :- #0.185.
link(21,70) :- #0.664.
link(70,21) :- #0.134.
link(21,73) :- #0.964.
link(73,21) :- #0.455.
link(21,76) :- #0.084.
link(76,21) :- #0.968.
link(21,80) :- #0.922.
link(80,21) :- #0.648.
link(21,82) :- #0.757.
link(82,21) :- #0.025.
link(21,91) :- #0.243.
link(91,21) :- #0.767.
link(21,95) :- #0.423.
link(95,21) :- #0.984.
link(21,97) :- #0.204.
link(97,21) :- #0.769.
link(21,99) :- #0.876.
link(99,21) :- #0.646.
link(21,109) :- #0.317.
link(109,21) :- #0.759.
link(21,130) :- #0.6.
link(130,21) :- #0.884.
link(21,138) :- #0.886.
link(138,21) :- #0.269.
link(22,27) :- #0.306.
link(27,22) :- #0.072.
link(22,34) :- #0.303.
link(34,22) :- #0.045.
link(22,54) :- #0.946.
link(54,22) :- #0.803.
link(22,56) :- #0.68.
link(56,22) :- #0.139.
link(22,78) :- #0.699.
link(78,22) :- #0.497.
link(22,87) :- #0.417.
link(87,22) :- #0.774.
link(22,89) :- #0.795.
link(89,22) :- #0.278.
link(22,105) :- #0.256.
link(105,22) :- #0.111.
link(22,106) :- #0.81.
link(106,22) :- #0.065.
link(22,122) :- #0.376.
link(122,22) :- #0.961.
link(22,123) :- #0.26.
link(123,22) :- #0.658.
link(22,134) :- #0.428.
link(134,22) :- #0.29.
link(22,137) :- #0.319.
link(137,22) :- #0.899.
link(22,142) :- #0.83.
link(142,22) :- #0.895.
link(22,143) :- #0.219.
link(143,22) :- #0.976.
link(23,31) :- #0.617.
link(31,23) :- #0.581.
link(23,47) :- #0.163.
link(47,23) :- #0.128.
link(23,52) :- #0.064.
link(52,23) :- #0.859.
link(23,63) :- #0.137.
link(63,23) :- #0.306.
link(23,64) :- #0.71.
link(64,23) :- #0.347.
link(23,74) :- #0.221.
link(74,23) :- #0.663.
link(23,84) :- #0.542.
link(84,23) :- #0.599.
link(23,92) :- #0.378.
link(92,23) :- #0.714.
link(23,96) :- #0.471.
link(96,23) :- #0.657.
link(23,105) :- #0.03.
link(105,23) :- #0.816.
link(23,117) :- #0.79.
link(117,23) :- #0.808.
link(23,119) :- #0.585.
link(119,23) :- #0.679.
link(23,124) :- #0.811.
link(124,23) :- #0.383.
link(23,133) :- #0.445.
link(133,23) :- #0.424.
link(24,27) :- #0.784.
link(27,24) :- #0.135.
link(24,28) :- #0.467.
link(28,24) :- #0.482.
link(24,34) :- #0.552.
link(34,24) :- #0.35.
link(24,57) :- #0.827.
link(57,24) :- #0.977.
link(24,65) :- #0.242.
link(65,24) :- #0.129.
link(24,89) :- #0.137.
link(89,24) :- #0.44.
link(24,93) :- #0.803.
link(93,24) :- #0.725.
link(24,97) :- #0.338.
link(97,24) :- #0.433.
link(24,104) :- #0.196.
link(104,24) :- #0.841.
link(24,120) :- #0.7.
link(120,24) :- #0.982.
link(24,122) :- #0.712.
link(122,24) :- #0.833.
link(24,129) :- #0.458.
link(129,24) :- #0.786.
link(25,28) :- #0.779.
link(28,25) :- #0.745.
link(25,63) :- #0.375.
link(63,25) :- #0.558.
link(25,67) :- #0.137.
link(67,25) :- #0.645.
link(25,70) :- #0.625.
link(70,25) :- #0.189.
link(25,83) :- #0.417.
link(83,25) :- #0.048.
link(25,96) :- #0.85.
link(96,25) :- #0.045.
link(25,104) :- #0.742.
link(104,25) :- #0.226.
link(25,107) :- #0.231.
link(107,25) :- #0.378.
link(25,115) :- #0.532.
link(115,25) :- #0.428.
link(25,119) :- #0.941.
link(119,25) :- #0.844.
link(25,133) :- #0.116.
link(133,25) :- #0.563.
link(25,135) :- #0.844.
link(135,25) :- #0.475.
link(26,33) :- #0.416.
link(33,26) :- #0.742.
link(26,47) :- #0.85.
link(47,26) :- #0.116.
link(26,49) :- #0.797.
link(49,26) :- #0.307.
link(26,58) :- #0.63.
link(58,26) :- #0.717.
link(26,76) :- #0.127.
link(76,26) :- #0.244.
link(26,80) :- #0.516.
link(80,26) :- #0.709.
link(26,85) :- #0.486.
link(85,26) :- #0.136.
link(26,92) :- #0.434.
link(92,26) :- #0.555.
link(26,97) :- #0.176.
link(97,26) :- #0.442.
link(26,108) :- #0.584.
link(108,26) :- #0.134.
link(27,30) :- #0.302.
link(30,27) :- #0.641.
link(27,43) :- #0.866.
link(43,27) :- #0.635.
link(27,49) :- #0.263.
link(49,27) :- #0.781.
link(27,50) :- #0.512.
link(50,27) :- #0.585.
link(27,53) :- #0.698.
link(53,27) :- #0.864.
link(27,76) :- #0.047.
link(76,27) :- #0.58.
link(27,97) :- #0.525.
link(97,27) :- #0.977.
link(27,103) :- #0.222.
link(103,27) :- #0.43.
link(27,111) :- #0.494.
link(111,27) :- #0.879.
link(27,116) :- #0.39.
link(116,27) :- #0.177.
link(27,119) :- #0.588.
link(119,27) :- #0.965.
link(27,121) :- #0.453.
link(121,27) :- #0.743.
link(27,135) :- #0.579.
link(135,27) :- #0.09.
link(27,136) :- #0.866.
link(136,27) :- #0.486.
link(27,145) :- #0.229.
link(145,27) :- #0.108.
link(28,45) :- #0.714.
link(45,28) :- #0.466.
link(28,82) :- #0.99.
link(82,28) :- #0.245.
link(28,83) :- #0.787.
link(83,28) :- #0.687.
link(28,94) :- #0.583.
link(94,28) :- #0.529.
link(28,101) :- #0.295.
link(101,28) :- #0.491.
link(28,106) :- #0.459.
link(106,28) :- #0.529.
link(28,113) :- #0.992.
link(113,28) :- #0.923.
link(28,115) :- #0.663.
link(115,28) :- #0.173.
link(28,117) :- #0.308.
link(117,28) :- #0.534.
link(28,121) :- #0.029.
link(121,28) :- #0.451.
link(28,125) :- #0.727.
link(125,28) :- #0.273.
link(28,131) :- #0.413.
link(131,28) :- #0.459.
link(28,139) :- #0.171.
link(139,28) :- #0.951.
link(29,46) :- #0.996.
link(46,29) :- #0.699.
link(29,47) :- #0.192.
link(47,29) :- #0.992.
link(29,63) :- #0.641.
link(63,29) :- #0.226.
link(29,72) :- #0.202.
link(72,29) :- #0.746.
link(29,75) :- #0.275.
link(75,29) :- #0.547.
link(29,76) :- #0.904.
link(76,29) :- #0.578.
link(29,78) :- #0.952.
link(78,29) :- #0.979.
link(29,90) :- #0.295.
link(90,29) :- #0.917.
link(29,94) :- #0.25.
link(94,29) :- #0.886.
link(29,101) :- #0.572.
link(101,29) :- #0.832.
link(29,110) :- #0.248.
link(110,29) :- #0.325.
link(29,132) :- #0.696.
link(132,29) :- #0.921.
link(30,53) :- #0.338.
link(53,30) :- #0.473.
link(30,69) :- #0.131.
link(69,30) :- #0.003.
link(30,73) :- #0.434.
link(73,30) :- #0.891.
link(30,82) :- #0.013.
link(82,30) :- #0.486.
link(30,92) :- #0.745.
link(92,30) :- #0.517.
link(30,93) :- #0.956.
link(93,30) :- #0.338.
link(30,97) :- #0.739.
link(97,30) :- #0.936.
link(30,113) :- #0.46.
link(113,30) :- #0.218.
link(30,128) :- #0.392.
link(128,30) :- #0.29.
link(30,130) :- #0.03.
link(130,30) :- #0.805.
link(30,132) :- #0.441.
link(132,30) :- #0.339.
link(30,138) :- #0.251.
link(138,30) :- #0.459.
link(30,139) :- #0.557.
link(139,30) :- #0.077.
link(31,50) :- #0.044.
link(50,31) :- #0.553.
link(31,64) :- #0.859.
link(64,31) :- #0.636.
link(31,91) :- #0.771.
link(91,31) :- #0.61.
link(31,95) :- #0.553.
link(95,31) :- #0.372.
link(31,102) :- #0.969.
link(102,31) :- #0.722.
link(31,103) :- #0.191.
link(103,31) :- #0.308.
link(31,145) :- #0.826.
link(145,31) :- #0.728.
link(32,33) :- #0.7.
link(33,32) :- #0.945.
link(32,45) :- #0.627.
link(45,32) :- #0.505.
link(32,47) :- #0.143.
link(47,32) :- #0.557.
link(32,53) :- #0.846.
link(53,32) :- #0.538.
link(32,59) :- #0.89.
link(59,32) :- #0.045.
link(32,68) :- #0.205.
link(68,32) :- #0.039.
link(32,91) :- #0.319.
link(91,32) :- #0.435.
link(32,100) :- #0.384.
link(100,32) :- #0.107.
link(32,104) :- #0.308.
link(104,32) :- #0.778.
link(32,128) :- #0.433.
link(128,32) :- #0.534.
link(33,37) :- #0.046.
link(37,33) :- #0.259.
link(33,48) :- #0.627.
link(48,33) :- #0.367.
link(33,58) :- #0.232.
link(58,33) :- #0.435.
link(33,62) :- #0.376.
link(62,33) :- #0.251.
link(33,73) :- #0.619.
link(73,33) :- #0.936.
link(33,75) :- #0.936.
link(75,33) :- #0.352.
link(33,82) :- #0.408.
link(82,33) :- #0.324.
link(33,117) :- #0.384.
link(117,33) :- #0.4.
link(33,118) :- #0.976.
link(118,33) :- #0.98.
link(33,127) :- #0.621.
link(127,33) :- #0.458.
link(33,138) :- #0.16.
link(138,33) :- #0.525.
link(33,141) :- #0.788.
link(141,33) :- #0.738.
link(34,52) :- #0.451.
link(52,34) :- #0.721.
link(34,59) :- #0.231.
link(59,34) :- #0.333.
link(34,64) :- #0.292.
link(64,34) :- #0.784.
link(34,69) :- #0.329.
link(69,34) :- #0.692.
link(34,80) :- #0.563.
link(80,34) :- #0.451.
link(34,89) :- #0.689.
link(89,34) :- #0.987.
link(34,97) :- #0.819.
link(97,34) :- #0.68.
link(34,121) :- #0.17.
link(121,34) :- #0.109.
link(35,42) :- #0.772.
link(42,35) :- #0.019.
link(35,54) :- #0.466.
link(54,35) :- #0.572.
link(35,62) :- #0.749.
link(62,35) :- #0.121.
link(35,63) :- #0.551.
link(63,35) :- #0.33.
link(35,68) :- #0.75.
link(68,35) :- #0.712.
link(35,80) :- #0.854.
link(80,35) :- #0.831.
link(35,89) :- #0.46.
link(89,35) :- #0.132.
link(35,101) :- #0.816.
link(101,35) :- #0.126.
link(35,104) :- #0.992.
link(104,35) :- #0.065.
link(35,105) :- #0.058.
link(105,35) :- #0.635.
link(35,116) :- #0.696.
link(116,35) :- #0.923.
link(35,144) :- #0.585.
link(144,35) :- #0.203.
link(36,41) :- #0.533.
link(41,36) :- #0.637.
link(36,66) :- #0.535.
link(66,36) :- #0.141.
link(36,68) :- #0.847.
link(68,36) :- #0.196.
link(36,71) :- #0.29.
link(71,36) :- #0.37.
link(36,107) :- #0.117.
link(107,36) :- #0.685.
link(36,145) :- #0.473.
link(145,36) :- #0.09.
link(37,52) :- #0.964.
link(52,37) :- #0.714.
link(37,56) :- #0.177.
link(56,37) :- #0.215.
link(37,62) :- #0.431.
link(62,37) :- #0.085.
link(37,65) :- #0.789.
link(65,37) :- #0.431.
link(37,73) :- #0.923.
link(73,37) :- #0.21.
link(37,75) :- #0.136.
link(75,37) :- #0.057.
link(37,76) :- #0.887.
link(76,37) :- #0.825.
link(37,77) :- #0.355.
link(77,37) :- #0.009.
link(37,103) :- #0.252.
link(103,37) :- #0.834.
link(37,141) :- #0.401.
link(141,37) :- #0.283.
link(38,49) :- #0.032.
link(49,38) :- #0.889.
link(38,55) :- #0.433.
link(55,38) :- #0.294.
link(38,57) :- #0.385.
link(57,38) :- #0.45.
link(38,67) :- #0.242.
link(67,38) :- #0.659.
link(38,79) :- #0.86.
link(79,38) :- #0.356.
link(38,80) :- #0.426.
link(80,38) :- #0.23.
link(38,84) :- #0.548.
link(84,38) :- #0.274.
link(38,86) :- #0.261.
link(86,38) :- #0.07.
link(38,98) :- #0.172.
link(98,38) :- #0.12.
link(38,115) :- #0.171.
link(115,38) :- #0.088.
link(38,119) :- #0.056.
link(119,38) :- #0.537.
link(38,129) :- #0.808.
link(129,38) :- #0.256.
link(38,133) :- #0.661.
link(133,38) :- #0.711.
link(38,143) :- #0.919.
link(143,38) :- #0.867.
link(39,40) :- #0.494.
link(40,39) :- #0.083.
link(39,50) :- #0.314.
link(50,39) :- #0.483.
link(39,51) :- #0.604.
link(51,39) :- #0.304.
link(39,58) :- #0.073.
link(58,39) :- #0.184.
link(39,65) :- #0.208.
link(65,39) :- #0.073.
link(39,99) :- #0.077.
link(99,39) :- #0.764.
link(40,57) :- #0.834.
link(57,40) :- #0.182.
link(40,58) :- #0.511.
link(58,40) :- #0.764.
link(40,68) :- #0.506.
link(68,40) :- #0.244.
link(40,80) :- #0.119.
link(80,40) :- #0.232.
link(40,90) :- #0.226.
link(90,40) :- #0.558.
link(40,93) :- #0.026.
link(93,40) :- #0.638.
link(40,125) :- #0.222.
link(125,40) :- #0.527.
link(40,132) :- #0.269.
link(132,40) :- #0.445.
link(40,145) :- #0.025.
link(145,40) :- #0.927.
link(41,70) :- #0.01.
link(70,41) :- #0.898.
link(41,72) :- #0.635.
link(72,41) :- #0.128.
link(41,75) :- #0.568.
link(75,41) :- #0.976.
link(41,79) :- #0.199.
link(79,41) :- #0.805.
link(41,91) :- #0.023.
link(91,41) :- #0.37.
link(41,95) :- #0.225.
link(95,41) :- #0.614.
link(41,96) :- #0.38.
link(96,41) :- #0.39.
link(41,102) :- #0.435.
link(102,41) :- #0.022.
link(41,109) :- #0.273.
link(109,41) :- #0.927.
link(41,110) :- #0.465.
link(110,41) :- #0.92.
link(41,114) :- #0.392.
link(114,41) :- #0.842.
link(42,44) :- #0.541.
link(44,42) :- #0.545.
link(42,56) :- #0.397.
link(56,42) :- #0.2.
link(42,61) :- #0.62.
link(61,42) :- #0.667.
link(42,63) :- #0.78.
link(63,42) :- #0.837.
link(42,66) :- #0.768.
link(66,42) :- #0.107.
link(42,71) :- #0.098.
link(71,42) :- #0.369.
link(42,75) :- #0.55.
link(75,42) :- #0.637.
link(42,76) :- #0.394.
link(76,42) :- #0.36.
link(42,87) :- #0.036.
link(87,42) :- #0.841.
link(42,96) :- #0.374.
link(96,42) :- #0.351.
link(42,98) :- #0.626.
link(98,42) :- #0.774.
link(42,109) :- #0.784.
link(109,42) :- #0.533.
link(42,110) :- #0.108.
link(110,42) :- #0.455.
link(42,114) :- #0.084.
link(114,42) :- #0.133.
link(42,119) :- #0.163.
link(119,42) :- #0.622.
link(42,124) :- #0.213.
link(124,42) :- #0.086.
link(42,139) :- #0.519.
link(139,42) :- #0.481.
link(42,140) :- #0.541.
link(140,42) :- #0.251.
link(43,44) :- #0.243.
link(44,43) :- #0.663.
link(43,47) :- #0.625.
link(47,43) :- #0.514.
link(43,50) :- #0.459.
link(50,43) :- #0.526.
link(43,53) :- #0.683.
link(53,43) :- #0.369.
link(43,57) :- #0.383.
link(57,43) :- #0.644.
link(43,61) :- #0.671.
link(61,43) :- #0.46.
link(43,69) :- #0.895.
link(69,43) :- #0.506.
link(43,70) :- #0.109.
link(70,43) :- #0.741.
link(43,73) :- #0.28.
link(73,43) :- #0.603.
link(43,74) :- #0.498.
link(74,43) :- #0.985.
link(43,85) :- #0.883.
link(85,43) :- #0.321.
link(43,90) :- #0.947.
link(90,43) :- #0.869.
link(43,91) :- #0.786.
link(91,43) :- #0.97.
link(43,117) :- #0.998.
link(117,43) :- #0.68.
link(43,120) :- #0.456.
link(120,43) :- #0.528.
link(43,121) :- #0.078.
link(121,43) :- #0.034.
link(43,122) :- #0.332.
link(122,43) :- #0.819.
link(43,124) :- #0.601.
link(124,43) :- #0.192.
link(43,136) :- #0.449.
link(136,43) :- #0.104.
link(44,84) :- #0.703.
link(84,44) :- #0.487.
link(44,92) :- #0.255.
link(92,44) :- #0.063.
link(44,93) :- #0.491.
link(93,44) :- #0.627.
link(44,110) :- #0.333.
link(110,44) :- #0.563.
link(45,55) :- #0.663.
link(55,45) :- #0.02.
link(45,65) :- #0.869.
link(65,45) :- #0.175.
link(45,71) :- #0.361.
link(71,45) :- #0.471.
link(45,79) :- #0.465.
link(79,45) :- #0.307.
link(45,81) :- #0.135.
link(81,45) :- #0.292.
link(45,111) :- #0.682.
link(111,45) :- #0.754.
link(45,134) :- #0.401.
link(134,45) :- #0.121.
link(45,136) :- #0.165.
link(136,45) :- #0.277.
link(45,137) :- #0.602.
link(137,45) :- #0.774.
link(45,144) :- #0.813.
link(144,45) :- #0.134.
link(46,48) :- #0.255.
link(48,46) :- #0.851.
link(46,74) :- #0.669.
link(74,46) :- #0.69.
link(46,92) :- #0.027.
link(92,46) :- #0.445.
link(46,100) :- #0.59.
link(100,46) :- #0.044.
link(46,138) :- #0.112.
link(138,46) :- #0.054.
link(46,141) :- #0.324.
link(141,46) :- #0.881.
link(47,54) :- #0.203.
link(54,47) :- #0.348.
link(47,59) :- #0.257.
link(59,47) :- #0.238.
link(47,77) :- #0.911.
link(77,47) :- #0.909.
link(47,86) :- #0.372.
link(86,47) :- #0.06.
link(47,89) :- #0.15.
link(89,47) :- #0.007.
link(47,120) :- #0.926.
link(120,47) :- #0.901.
link(47,128) :- #0.897.
link(128,47) :- #0.18.
link(47,136) :- #0.262.
link(136,47) :- #0.077.
link(47,138) :- #0.248.
link(138,47) :- #0.215.
link(47,141) :- #0.223.
link(141,47) :- #0.625.
link(48,49) :- #0.41.
link(49,48) :- #0.751.
link(48,59) :- #0.731.
link(59,48) :- #0.134.
link(48,69) :- #0.52.
link(69,48) :- #0.159.
link(48,78) :- #0.561.
link(78,48) :- #0.677.
link(48,87) :- #0.813.
link(87,48) :- #0.588.
link(48,133) :- #0.829.
link(133,48) :- #0.777.
link(48,142) :- #0.11.
link(142,48) :- #0.943.
link(49,61) :- #0.597.
link(61,49) :- #0.329.
link(49,65) :- #0.973.
link(65,49) :- #0.305.
link(49,67) :- #0.625.
link(67,49) :- #0.341.
link(49,83) :- #0.531.
link(83,49) :- #0.549.
link(49,87) :- #0.259.
link(87,49) :- #0.042.
link(49,98) :- #0.526.
link(98,49) :- #0.161.
link(49,136) :- #0.634.
link(136,49) :- #0.52.
link(49,143) :- #0.711.
link(143,49) :- #0.966.
link(49,145) :- #0.632.
link(145,49) :- #0.368.
link(50,63) :- #0.447.
link(63,50) :- #0.328.
link(50,85) :- #0.835.
link(85,50) :- #0.647.
link(50,97) :- #0.197.
link(97,50) :- #0.75.
link(50,121) :- #0.137.
link(121,50) :- #0.543.
link(50,134) :- #0.133.
link(134,50) :- #0.543.
link(51,53) :- #0.786.
link(53,51) :- #0.777.
link(51,58) :- #0.163.
link(58,51) :- #0.528.
link(51,67) :- #0.682.
link(67,51) :- #0.873.
link(51,81) :- #0.272.
link(81,51) :- #0.776.
link(51,99) :- #0.488.
link(99,51) :- #0.709.
link(51,105) :- #0.98.
link(105,51) :- #0.042.
link(51,108) :- #0.883.
link(108,51) :- #0.178.
link(51,109) :- #0.263.
link(109,51) :- #0.402.
link(51,111) :- #0.588.
link(111,51) :- #0.597.
link(51,118) :- #0.228.
link(118,51) :- #0.172.
link(51,134) :- #0.038.
link(134,51) :- #0.766.
link(52,59) :- #0.862.
link(59,52) :- #0.469.
link(52,61) :- #0.969.
link(61,52) :- #0.935.
link(52,130) :- #0.961.
link(130,52) :- #0.993.
link(53,62) :- #0.254.
link(62,53) :- #0.616.
link(53,69) :- #0.017.
link(69,53) :- #0.027.
link(53,79) :- #0.032.
link(79,53) :- #0.278.
link(53,80) :- #0.94.
link(80,53) :- #0.346.
link(53,81) :- #0.029.
link(81,53) :- #0.739.
link(53,92) :- #0.558.
link(92,53) :- #0.193.
link(53,96) :- #0.758.
link(96,53) :- #0.246.
link(53,115) :- #0.326.
link(115,53) :- #0.563.
link(53,132) :- #0.623.
link(132,53) :- #0.935.
link(53,139) :- #0.55.
link(139,53) :- #0.539.
link(54,58) :- #0.163.
link(58,54) :- #0.
link(54,62) :- #0.017.
link(62,54) :- #0.997.
link(54,93) :- #0.768.
link(93,54) :- #0.534.
link(54,99) :- #0.596.
link(99,54) :- #0.658.
link(54,104) :- #0.91.
link(104,54) :- #0.633.
link(54,106) :- #0.416.
link(106,54) :- #0.707.
link(54,118) :- #0.593.
link(118,54) :- #0.01.
link(54,136) :- #0.343.
link(136,54) :- #0.262.
link(55,57) :- #0.648.
link(57,55) :- #0.625.
link(55,72) :- #0.919.
link(72,55) :- #0.236.
link(55,104) :- #0.202.
link(104,55) :- #0.785.
link(55,105) :- #0.757.
link(105,55) :- #0.969.
link(55,112) :- #0.11.
link(112,55) :- #0.808.
link(55,124) :- #0.822.
link(124,55) :- #0.687.
link(55,138) :- #0.951.
link(138,55) :- #0.93.
link(56,62) :- #0.462.
link(62,56) :- #0.019.
link(56,70) :- #0.134.
link(70,56) :- #0.091.
link(56,92) :- #0.667.
link(92,56) :- #0.424.
link(56,113) :- #0.351.
link(113,56) :- #0.917.
link(56,114) :- #0.625.
link(114,56) :- #0.516.
link(56,124) :- #0.539.
link(124,56) :- #0.515.
link(56,139) :- #0.268.
link(139,56) :- #0.587.
link(57,66) :- #0.474.
link(66,57) :- #0.073.
link(57,67) :- #0.359.
link(67,57) :- #0.416.
link(57,88) :- #0.228.
link(88,57) :- #0.1.
link(57,98) :- #0.787.
link(98,57) :- #0.282.
link(57,99) :- #0.877.
link(99,57) :- #0.867.
link(57,109) :- #0.636.
link(109,57) :- #0.46.
link(57,117) :- #0.986.
link(117,57) :- #0.326.
link(57,130) :- #0.27.
link(130,57) :- #0.728.
link(57,133) :- #0.371.
link(133,57) :- #0.721.
link(57,141) :- #0.02.
link(141,57) :- #0.369.
link(58,61) :- #0.175.
link(61,58) :- #0.036.
link(58,75) :- #0.991.
link(75,58) :- #0.87.
link(58,96) :- #0.393.
link(96,58) :- #0.618.
link(58,122) :- #0.33.
link(122,58) :- #0.2.
link(59,62) :- #0.933.
link(62,59) :- #0.988.
link(59,73) :- #0.805.
link(73,59) :- #0.979.
link(59,87) :- #0.361.
link(87,59) :- #0.333.
link(59,95) :- #0.499.
link(95,59) :- #0.436.
link(59,136) :- #0.574.
link(136,59) :- #0.314.
link(59,140) :- #0.459.
link(140,59) :- #0.525.
link(60,68) :- #0.139.
link(68,60) :- #0.817.
link(60,70) :- #0.495.
link(70,60) :- #0.506.
link(60,95) :- #0.542.
link(95,60) :- #0.625.
link(60,96) :- #0.483.
link(96,60) :- #0.172.
link(60,104) :- #0.674.
link(104,60) :- #0.869.
link(60,110) :- #0.15.
link(110,60) :- #0.718.
link(61,66) :- #0.709.
link(66,61) :- #0.588.
link(61,67) :- #0.835.
link(67,61) :- #0.121.
link(61,77) :- #0.931.
link(77,61) :- #0.959.
link(61,87) :- #0.127.
link(87,61) :- #0.204.
link(61,101) :- #0.784.
link(101,61) :- #0.378.
link(61,122) :- #0.96.
link(122,61) :- #0.097.
link(61,144) :- #0.484.
link(144,61) :- #0.785.
link(62,64) :- #0.102.
link(64,62) :- #0.381.
link(62,70) :- #0.323.
link(70,62) :- #0.518.
link(62,72) :- #0.3.
link(72,62) :- #0.238.
link(62,76) :- #0.522.
link(76,62) :- #0.907.
link(62,86) :- #0.37.
link(86,62) :- #0.596.
link(62,93) :- #0.14.
link(93,62) :- #0.288.
link(62,122) :- #0.574.
link(122,62) :- #0.802.
link(62,125) :- #0.548.
link(125,62) :- #0.582.
link(62,127) :- #0.783.
link(127,62) :- #0.071.
link(62,130) :- #0.932.
link(130,62) :- #0.04.
link(63,70) :- #0.34.
link(70,63) :- #0.082.
link(63,72) :- #0.776.
link(72,63) :- #0.756.
link(63,85) :- #0.877.
link(85,63) :- #0.014.
link(63,98) :- #0.597.
link(98,63) :- #0.495.
link(63,106) :- #0.456.
link(106,63) :- #0.173.
link(63,108) :- #0.07.
link(108,63) :- #0.031.
link(63,109) :- #0.529.
link(109,63) :- #0.767.
link(63,120) :- #0.992.
link(120,63) :- #0.318.
link(63,126) :- #0.059.
link(126,63) :- #0.275.
link(63,130) :- #0.287.
link(130,63) :- #0.27.
link(63,131) :- #0.26.
link(131,63) :- #0.162.
link(64,74) :- #0.892.
link(74,64) :- #0.059.
link(64,87) :- #0.582.
link(87,64) :- #0.008.
link(64,101) :- #0.057.
link(101,64) :- #0.468.
link(65,81) :- #0.605.
link(81,65) :- #0.845.
link(65,85) :- #0.512.
link(85,65) :- #0.835.
link(65,110) :- #0.168.
link(110,65) :- #0.838.
link(65,117) :- #0.352.
link(117,65) :- #0.426.
link(65,132) :- #0.554.
link(132,65) :- #0.167.
link(65,138) :- #0.204.
link(138,65) :- #0.988.
link(65,145) :- #0.534.
link(145,65) :- #0.063.
link(66,67) :- #0.69.
link(67,66) :- #0.765.
link(66,83) :- #0.163.
link(83,66) :- #0.408.
link(66,84) :- #0.949.
link(84,66) :- #0.302.
link(66,88) :- #0.002.
link(88,66) :- #0.981.
link(66,94) :- #0.436.
link(94,66) :- #0.802.
link(66,111) :- #0.875.
link(111,66) :- #0.501.
link(66,115) :- #0.762.
link(115,66) :- #0.269.
link(66,140) :- #0.925.
link(140,66) :- #0.797.
link(66,142) :- #0.481.
link(142,66) :- #0.883.
link(67,72) :- #0.95.
link(72,67) :- #0.145.
link(67,73) :- #0.456.
link(73,67) :- #0.332.
link(67,82) :- #0.178.
link(82,67) :- #0.541.
link(67,83) :- #0.516.
link(83,67) :- #0.809.
link(67,86) :- #0.692.
link(86,67) :- #0.167.
link(67,100) :- #0.069.
link(100,67) :- #0.981.
link(67,101) :- #0.759.
link(101,67) :- #0.779.
link(67,109) :- #0.221.
link(109,67) :- #0.109.
link(67,112) :- #0.816.
link(112,67) :- #0.268.
link(67,123) :- #0.82.
link(123,67) :- #0.075.
link(67,131) :- #0.764.
link(131,67) :- #0.169.
link(67,135) :- #0.966.
link(135,67) :- #0.04.
link(68,75) :- #0.398.
link(75,68) :- #0.831.
link(68,96) :- #0.703.
link(96,68) :- #0.805.
link(68,119) :- #0.188.
link(119,68) :- #0.989.
link(68,132) :- #0.02.
link(132,68) :- #0.377.
link(69,70) :- #0.328.
link(70,69) :- #0.309.
link(69,71) :- #0.672.
link(71,69) :- #0.239.
link(69,79) :- #0.064.
link(79,69) :- #0.608.
link(69,85) :- #0.864.
link(85,69) :- #0.216.
link(69,90) :- #0.096.
link(90,69) :- #0.795.
link(69,92) :- #0.899.
link(92,69) :- #0.494.
link(69,99) :- #0.416.
link(99,69) :- #0.477.
link(69,104) :- #0.916.
link(104,69) :- #0.29.
link(69,105) :- #0.022.
link(105,69) :- #0.81.
link(69,116) :- #0.806.
link(116,69) :- #0.211.
link(69,144) :- #0.394.
link(144,69) :- #0.666.
link(70,92) :- #0.863.
link(92,70) :- #0.504.
link(70,97) :- #0.776.
link(97,70) :- #0.972.
link(70,119) :- #0.365.
link(119,70) :- #0.118.
link(70,125) :- #0.743.
link(125,70) :- #0.108.
link(70,136) :- #0.862.
link(136,70) :- #0.73.
link(70,141) :- #0.116.
link(141,70) :- #0.195.
link(71,75) :- #0.682.
link(75,71) :- #0.2.
link(71,78) :- #0.446.
link(78,71) :- #0.731.
link(71,87) :- #0.037.
link(87,71) :- #0.197.
link(71,93) :- #0.324.
link(93,71) :- #0.289.
link(71,100) :- #0.054.
link(100,71) :- #0.156.
link(71,111) :- #0.977.
link(111,71) :- #0.371.
link(71,115) :- #0.088.
link(115,71) :- #0.173.
link(71,133) :- #0.725.
link(133,71) :- #0.354.
link(72,77) :- #0.442.
link(77,72) :- #0.606.
link(72,82) :- #0.12.
link(82,72) :- #0.921.
link(72,90) :- #0.327.
link(90,72) :- #0.017.
link(72,117) :- #0.017.
link(117,72) :- #0.152.
link(72,126) :- #0.832.
link(126,72) :- #0.754.
link(72,132) :- #0.703.
link(132,72) :- #0.458.
link(72,137) :- #0.111.
link(137,72) :- #0.101.
link(73,116) :- #0.875.
link(116,73) :- #0.729.
link(73,117) :- #0.034.
link(117,73) :- #0.048.
link(73,121) :- #0.923.
link(121,73) :- #0.216.
link(73,130) :- #0.5.
link(130,73) :- #0.538.
link(73,131) :- #0.442.
link(131,73) :- #0.909.
link(74,76) :- #0.259.
link(76,74) :- #0.695.
link(74,83) :- #0.161.
link(83,74) :- #0.105.
link(74,98) :- #0.918.
link(98,74) :- #0.135.
link(74,107) :- #0.87.
link(107,74) :- #0.936.
link(74,119) :- #0.266.
link(119,74) :- #0.75.
link(74,135) :- #0.312.
link(135,74) :- #0.184.
link(74,136) :- #0.746.
link(136,74) :- #0.497.
link(74,139) :- #0.02.
link(139,74) :- #0.452.
link(75,93) :- #0.932.
link(93,75) :- #0.932.
link(75,107) :- #0.7.
link(107,75) :- #0.9.
link(75,125) :- #0.084.
link(125,75) :- #0.76.
link(75,126) :- #0.823.
link(126,75) :- #0.205.
link(75,131) :- #0.872.
link(131,75) :- #0.215.
link(76,118) :- #0.578.
link(118,76) :- #0.125.
link(76,130) :- #0.325.
link(130,76) :- #0.974.
link(76,139) :- #0.543.
link(139,76) :- #0.378.
link(77,78) :- #0.114.
link(78,77) :- #0.715.
link(77,103) :- #0.068.
link(103,77) :- #0.051.
link(77,109) :- #0.856.
link(109,77) :- #0.789.
link(77,137) :- #0.378.
link(137,77) :- #0.175.
link(77,143) :- #0.928.
link(143,77) :- #0.399.
link(78,79) :- #0.156.
link(79,78) :- #0.751.
link(78,97) :- #0.899.
link(97,78) :- #0.72.
link(78,98) :- #0.417.
link(98,78) :- #0.369.
link(78,105) :- #0.579.
link(105,78) :- #0.652.
link(78,117) :- #0.006.
link(117,78) :- #0.811.
link(78,135) :- #0.462.
link(135,78) :- #0.924.
link(79,85) :- #0.951.
link(85,79) :- #0.835.
link(79,86) :- #0.193.
link(86,79) :- #0.799.
link(79,94) :- #0.445.
link(94,79) :- #0.742.
link(79,117) :- #0.446.
link(117,79) :- #0.123.
link(79,121) :- #0.535.
link(121,79) :- #0.699.
link(79,129) :- #0.909.
link(129,79) :- #0.263.
link(79,136) :- #0.902.
link(136,79) :- #0.059.
link(79,143) :- #0.159.
link(143,79) :- #0.058.
link(79,145) :- #0.019.
link(145,79) :- #0.636.
link(80,81) :- #0.216.
link(81,80) :- #0.169.
link(80,83) :- #0.534.
link(83,80) :- #0.77.
link(80,115) :- #0.901.
link(115,80) :- #0.56.
link(80,121) :- #0.936.
link(121,80) :- #0.019.
link(80,129) :- #0.677.
link(129,80) :- #0.837.
link(80,135) :- #0.478.
link(135,80) :- #0.74.
link(80,140) :- #0.817.
link(140,80) :- #0.191.
link(81,82) :- #0.276.
link(82,81) :- #0.062.
link(81,85) :- #0.276.
link(85,81) :- #0.797.
link(81,90) :- #0.424.
link(90,81) :- #0.853.
link(81,104) :- #0.917.
link(104,81) :- #0.157.
link(81,108) :- #0.707.
link(108,81) :- #0.857.
link(81,115) :- #0.237.
link(115,81) :- #0.674.
link(81,122) :- #0.766.
link(122,81) :- #0.145.
link(81,126) :- #0.021.
link(126,81) :- #0.092.
link(81,130) :- #0.686.
link(130,81) :- #0.206.
link(81,136) :- #0.51.
link(136,81) :- #0.529.
link(82,112) :- #0.613.
link(112,82) :- #0.119.
link(82,115) :- #0.391.
link(115,82) :- #0.194.
link(82,123) :- #0.781.
link(123,82) :- #0.456.
link(82,129) :- #0.07.
link(129,82) :- #0.011.
link(82,130) :- #0.838.
link(130,82) :- #0.256.
link(82,140) :- #0.993.
link(140,82) :- #0.074.
link(83,95) :- #0.752.
link(95,83) :- #0.116.
link(83,105) :- #0.784.
link(105,83) :- #0.996.
link(83,107) :- #0.169.
link(107,83) :- #0.344.
link(83,110) :- #0.65.
link(110,83) :- #0.673.
link(83,118) :- #0.558.
link(118,83) :- #0.896.
link(84,85) :- #0.904.
link(85,84) :- #0.21.
link(84,89) :- #0.052.
link(89,84) :- #0.619.
link(84,93) :- #0.831.
link(93,84) :- #0.537.
link(84,115) :- #0.55.
link(115,84) :- #0.968.
link(84,116) :- #0.163.
link(116,84) :- #0.714.
link(84,123) :- #0.638.
link(123,84) :- #0.85.
link(84,131) :- #0.446.
link(131,84) :- #0.787.
link(84,133) :- #0.54.
link(133,84) :- #0.633.
link(85,91) :- #0.045.
link(91,85) :- #0.017.
link(85,99) :- #0.785.
link(99,85) :- #0.481.
link(85,100) :- #0.85.
link(100,85) :- #0.123.
link(85,114) :- #0.31.
link(114,85) :- #0.332.
link(85,119) :- #0.045.
link(119,85) :- #0.023.
link(85,132) :- #0.415.
link(132,85) :- #0.614.
link(86,113) :- #0.142.
link(113,86) :- #0.309.
link(86,127) :- #0.391.
link(127,86) :- #0.878.
link(86,135) :- #0.65.
link(135,86) :- #0.972.
link(86,138) :- #0.901.
link(138,86) :- #0.153.
link(86,141) :- #0.034.
link(141,86) :- #0.648.
link(86,142) :- #0.625.
link(142,86) :- #0.081.
link(87,88) :- #0.305.
link(88,87) :- #0.038.
link(87,90) :- #0.431.
link(90,87) :- #0.695.
link(87,99) :- #0.748.
link(99,87) :- #0.146.
link(87,103) :- #0.102.
link(103,87) :- #0.481.
link(87,112) :- #0.883.
link(112,87) :- #0.262.
link(87,118) :- #0.438.
link(118,87) :- #0.824.
link(87,119) :- #0.877.
link(119,87) :- #0.156.
link(87,122) :- #0.556.
link(122,87) :- #0.719.
link(87,135) :- #0.012.
link(135,87) :- #0.057.
link(87,138) :- #0.273.
link(138,87) :- #0.304.
link(87,141) :- #0.692.
link(141,87) :- #0.566.
link(88,93) :- #0.189.
link(93,88) :- #0.213.
link(88,95) :- #0.163.
link(95,88) :- #0.611.
link(88,106) :- #0.253.
link(106,88) :- #0.3.
link(88,111) :- #0.118.
link(111,88) :- #0.754.
link(88,113) :- #0.216.
link(113,88) :- #0.164.
link(88,115) :- #0.577.
link(115,88) :- #0.127.
link(88,123) :- #0.104.
link(123,88) :- #0.145.
link(88,138) :- #0.477.
link(138,88) :- #0.848.
link(89,91) :- #0.1.
link(91,89) :- #0.625.
link(89,92) :- #0.967.
link(92,89) :- #0.002.
link(89,98) :- #0.614.
link(98,89) :- #0.396.
link(89,110) :- #0.165.
link(110,89) :- #0.081.
link(89,128) :- #0.604.
link(128,89) :- #0.282.
link(89,131) :- #0.389.
link(131,89) :- #0.697.
link(90,98) :- #0.983.
link(98,90) :- #0.844.
link(91,99) :- #0.607.
link(99,91) :- #0.364.
link(91,121) :- #0.251.
link(121,91) :- #0.879.
link(91,122) :- #0.892.
link(122,91) :- #0.311.
link(91,127) :- #0.976.
link(127,91) :- #0.94.
link(91,143) :- #0.198.
link(143,91) :- #0.565.
link(92,101) :- #0.766.
link(101,92) :- #0.684.
link(92,113) :- #0.288.
link(113,92) :- #0.557.
link(92,118) :- #0.471.
link(118,92) :- #0.59.
link(92,135) :- #0.449.
link(135,92) :- #0.341.
link(92,144) :- #0.373.
link(144,92) :- #0.224.
link(93,127) :- #0.93.
link(127,93) :- #0.163.
link(94,117) :- #0.432.
link(117,94) :- #0.626.
link(94,123) :- #0.243.
link(123,94) :- #0.818.
link(94,129) :- #0.561.
link(129,94) :- #0.6.
link(94,145) :- #0.445.
link(145,94) :- #0.498.
link(95,96) :- #0.614.
link(96,95) :- #0.316.
link(95,106) :- #0.894.
link(106,95) :- #0.813.
link(95,113) :- #0.097.
link(113,95) :- #0.015.
link(95,118) :- #0.169.
link(118,95) :- #0.571.
link(95,119) :- #0.576.
link(119,95) :- #0.18.
link(95,120) :- #0.726.
link(120,95) :- #0.831.
link(95,121) :- #0.6.
link(121,95) :- #0.843.
link(95,126) :- #0.495.
link(126,95) :- #0.4.
link(95,129) :- #0.674.
link(129,95) :- #0.028.
link(95,132) :- #0.993.
link(132,95) :- #0.514.
link(96,104) :- #0.944.
link(104,96) :- #0.443.
link(96,107) :- #0.368.
link(107,96) :- #0.193.
link(96,108) :- #0.758.
link(108,96) :- #0.562.
link(96,116) :- #0.277.
link(116,96) :- #0.816.
link(96,122) :- #0.149.
link(122,96) :- #0.156.
link(96,126) :- #0.99.
link(126,96) :- #0.659.
link(96,130) :- #0.232.
link(130,96) :- #0.13.
link(97,132) :- #0.94.
link(132,97) :- #0.711.
link(98,113) :- #0.152.
link(113,98) :- #0.39.
link(98,118) :- #0.126.
link(118,98) :- #0.255.
link(98,126) :- #0.992.
link(126,98) :- #0.186.
link(98,140) :- #0.81.
link(140,98) :- #0.849.
link(98,145) :- #0.054.
link(145,98) :- #0.48.
link(100,103) :- #0.516.
link(103,100) :- #0.185.
link(100,107) :- #0.507.
link(107,100) :- #0.836.
link(100,114) :- #0.059.
link(114,100) :- #0.243.
link(100,120) :- #0.02.
link(120,100) :- #0.05.
link(100,144) :- #0.588.
link(144,100) :- #0.457.
link(101,103) :- #0.973.
link(103,101) :- #0.365.
link(101,108) :- #0.136.
link(108,101) :- #0.675.
link(101,114) :- #0.978.
link(114,101) :- #0.923.
link(101,132) :- #0.044.
link(132,101) :- #0.374.
link(101,138) :- #0.021.
link(138,101) :- #0.024.
link(101,143) :- #0.684.
link(143,101) :- #0.26.
link(102,124) :- #0.686.
link(124,102) :- #0.257.
link(102,127) :- #0.91.
link(127,102) :- #0.446.
link(102,131) :- #0.971.
link(131,102) :- #0.466.
link(102,133) :- #0.645.
link(133,102) :- #0.315.
link(103,107) :- #0.514.
link(107,103) :- #0.466.
link(103,116) :- #0.363.
link(116,103) :- #0.77.
link(103,123) :- #0.959.
link(123,103) :- #0.119.
link(103,126) :- #0.076.
link(126,103) :- #0.414.
link(103,139) :- #0.516.
link(139,103) :- #0.646.
link(104,119) :- #0.921.
link(119,104) :- #0.653.
link(104,124) :- #0.576.
link(124,104) :- #0.495.
link(104,130) :- #0.814.
link(130,104) :- #0.352.
link(104,132) :- #0.961.
link(132,104) :- #0.7.
link(104,136) :- #0.662.
link(136,104) :- #0.348.
link(105,128) :- #0.856.
link(128,105) :- #0.872.
link(105,133) :- #0.775.
link(133,105) :- #0.515.
link(105,135) :- #0.537.
link(135,105) :- #0.085.
link(105,142) :- #0.71.
link(142,105) :- #0.569.
link(106,107) :- #0.525.
link(107,106) :- #0.082.
link(106,108) :- #0.561.
link(108,106) :- #0.022.
link(106,132) :- #0.833.
link(132,106) :- #0.109.
link(107,115) :- #0.602.
link(115,107) :- #0.616.
link(107,121) :- #0.451.
link(121,107) :- #0.109.
link(107,131) :- #0.034.
link(131,107) :- #0.905.
link(107,140) :- #0.586.
link(140,107) :- #0.022.
link(107,143) :- #0.077.
link(143,107) :- #0.78.
link(107,145) :- #0.124.
link(145,107) :- #0.089.
link(108,128) :- #0.724.
link(128,108) :- #0.483.
link(108,139) :- #0.373.
link(139,108) :- #0.708.
link(109,123) :- #0.454.
link(123,109) :- #0.965.
link(109,125) :- #0.842.
link(125,109) :- #0.816.
link(110,138) :- #0.216.
link(138,110) :- #0.041.
link(111,130) :- #0.094.
link(130,111) :- #0.663.
link(111,134) :- #0.069.
link(134,111) :- #0.312.
link(111,138) :- #0.971.
link(138,111) :- #0.316.
link(112,118) :- #0.177.
link(118,112) :- #0.912.
link(112,119) :- #0.655.
link(119,112) :- #0.057.
link(112,126) :- #0.141.
link(126,112) :- #0.979.
link(112,132) :- #0.292.
link(132,112) :- #0.145.
link(112,137) :- #0.317.
link(137,112) :- #0.058.
link(112,138) :- #0.69.
link(138,112) :- #0.143.
link(112,144) :- #0.051.
link(144,112) :- #0.129.
link(113,119) :- #0.997.
link(119,113) :- #0.029.
link(113,125) :- #0.349.
link(125,113) :- #0.284.
link(114,133) :- #0.051.
link(133,114) :- #0.935.
link(114,137) :- #0.264.
link(137,114) :- #0.62.
link(114,141) :- #0.305.
link(141,114) :- #0.204.
link(115,117) :- #0.997.
link(117,115) :- #0.305.
link(115,123) :- #0.051.
link(123,115) :- #0.093.
link(115,125) :- #0.013.
link(125,115) :- #0.821.
link(116,117) :- #0.05.
link(117,116) :- #0.272.
link(116,118) :- #0.179.
link(118,116) :- #0.973.
link(116,119) :- #0.126.
link(119,116) :- #0.216.
link(116,130) :- #0.44.
link(130,116) :- #0.51.
link(117,128) :- #0.835.
link(128,117) :- #0.709.
link(117,135) :- #0.767.
link(135,117) :- #0.11.
link(117,144) :- #0.666.
link(144,117) :- #0.269.
link(118,119) :- #0.088.
link(119,118) :- #0.816.
link(119,130) :- #0.5.
link(130,119) :- #0.204.
link(119,131) :- #0.758.
link(131,119) :- #0.563.
link(119,143) :- #0.252.
link(143,119) :- #0.734.
link(120,126) :- #0.538.
link(126,120) :- #0.715.
link(120,133) :- #0.738.
link(133,120) :- #0.86.
link(120,134) :- #0.225.
link(134,120) :- #0.284.
link(120,137) :- #0.439.
link(137,120) :- #0.155.
link(120,138) :- #0.468.
link(138,120) :- #0.687.
link(121,123) :- #0.635.
link(123,121) :- #0.915.
link(121,126) :- #0.2.
link(126,121) :- #0.477.
link(121,127) :- #0.506.
link(127,121) :- #0.158.
link(121,142) :- #0.648.
link(142,121) :- #0.765.
link(122,127) :- #0.838.
link(127,122) :- #0.036.
link(122,134) :- #0.49.
link(134,122) :- #0.104.
link(122,145) :- #0.329.
link(145,122) :- #0.691.
link(123,125) :- #0.188.
link(125,123) :- #0.345.
link(123,131) :- #0.793.
link(131,123) :- #0.457.
link(124,133) :- #0.486.
link(133,124) :- #0.324.
link(124,137) :- #0.636.
link(137,124) :- #0.182.
link(124,143) :- #0.859.
link(143,124) :- #0.807.
link(125,127) :- #0.209.
link(127,125) :- #0.154.
link(125,129) :- #0.226.
link(129,125) :- #0.797.
link(125,137) :- #0.413.
link(137,125) :- #0.551.
link(125,143) :- #0.483.
link(143,125) :- #0.218.
link(126,136) :- #0.513.
link(136,126) :- #0.057.
link(126,139) :- #0.324.
link(139,126) :- #0.077.
link(126,141) :- #0.166.
link(141,126) :- #0.544.
link(127,129) :- #0.173.
link(129,127) :- #0.123.
link(127,132) :- #0.543.
link(132,127) :- #0.787.
link(127,143) :- #0.897.
link(143,127) :- #0.767.
link(128,142) :- #0.09.
link(142,128) :- #0.61.
link(129,131) :- #0.669.
link(131,129) :- #0.708.
link(129,140) :- #0.155.
link(140,129) :- #0.733.
link(130,134) :- #0.278.
link(134,130) :- #0.471.
link(130,136) :- #0.911.
link(136,130) :- #0.683.
link(132,138) :- #0.162.
link(138,132) :- #0.423.
link(132,139) :- #0.723.
link(139,132) :- #0.399.
link(133,135) :- #0.151.
link(135,133) :- #0.064.
link(134,139) :- #0.32.
link(139,134) :- #0.534.
link(134,144) :- #0.759.
link(144,134) :- #0.496.
link(135,137) :- #0.754.
link(137,135) :- #0.788.
link(136,138) :- #0.694.
link(138,136) :- #0.243.
link(136,140) :- #0.491.
link(140,136) :- #0.044.
link(137,141) :- #0.163.
link(141,137) :- #0.62.
link(138,143) :- #0.948.
link(143,138) :- #0.284.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
